Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Bringing DNA Computers To Life

Рік:
2006
Мова:
english
Файл:
PDF, 4.89 MB
english, 2006
2

Alternation and the computational complexity of logic programs

Рік:
1984
Мова:
english
Файл:
PDF, 1.09 MB
english, 1984
3

A type system for logic programs

Рік:
1991
Мова:
english
Файл:
PDF, 1.52 MB
english, 1991
4

Processing DNA molecules as text

Рік:
2010
Мова:
english
Файл:
PDF, 657 KB
english, 2010
5

Programmable and autonomous computing machine made of biomolecules

Рік:
2001
Мова:
english
Файл:
PDF, 552 KB
english, 2001
6

Biotechnology: Logic goes in vitro

Рік:
2007
Мова:
english
Файл:
PDF, 139 KB
english, 2007
9

Single-cell sequencing-based technologies will revolutionize whole-organism science

Рік:
2013
Мова:
english
Файл:
PDF, 905 KB
english, 2013
10

The fifth generation project --- a trip report

Рік:
1983
Мова:
english
Файл:
PDF, 578 KB
english, 1983
11

The family of concurrent logic programming languages

Рік:
1989
Мова:
english
Файл:
PDF, 9.18 MB
english, 1989
13

The Art of Prolog

Рік:
1987
Мова:
english
Файл:
PDF, 452 KB
english, 1987
18

Implementing parallel algorithms in concurrent prolog: The Maxflow experience

Рік:
1986
Мова:
english
Файл:
PDF, 1.57 MB
english, 1986
19

A sequential abstract machine for flat concurrent prolog

Рік:
1989
Мова:
english
Файл:
PDF, 2.11 MB
english, 1989
20

OR-parallel PROLOG in flat concurrent PROLOG

Рік:
1989
Мова:
english
Файл:
PDF, 1.71 MB
english, 1989
21

Notes on the complexity of systolic programs

Рік:
1987
Мова:
english
Файл:
PDF, 894 KB
english, 1987
22

Towards molecular computers that operate in a biological environment

Рік:
2008
Мова:
english
Файл:
PDF, 1.16 MB
english, 2008
23

BioAmbients: an abstraction for biological compartments

Рік:
2004
Мова:
english
Файл:
PDF, 993 KB
english, 2004
27

A parallel implementation of Flat Concurrent Prolog

Рік:
1986
Мова:
english
Файл:
PDF, 1.41 MB
english, 1986
28

On the structural simplicity of machines and languages

Рік:
1995
Мова:
english
Файл:
PDF, 1.69 MB
english, 1995
29

Plasma-cortisol levels in experimental heatstroke in dogs

Рік:
1989
Мова:
english
Файл:
PDF, 346 KB
english, 1989
30

Echocardiography in infants with anomalous origin of the left coronary artery

Рік:
1979-1980
Мова:
english
Файл:
PDF, 521 KB
english, 1979-1980
32

Cellular abstractions: Cells as computation

Рік:
2002
Мова:
english
Файл:
PDF, 118 KB
english, 2002
33

An autonomous molecular computer for logical control of gene expression

Рік:
2004
Мова:
english
Файл:
PDF, 458 KB
english, 2004
34

Molecular implementation of simple logic programs

Рік:
2009
Мова:
english
Файл:
PDF, 754 KB
english, 2009
35

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Logic continuations

Рік:
1986
Мова:
english
Файл:
PDF, 726 KB
english, 1986
36

Object oriented programming in Concurrent Prolog

Рік:
1983
Мова:
english
Файл:
PDF, 1.13 MB
english, 1983
37

Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog

Рік:
1984
Мова:
english
Файл:
PDF, 721 KB
english, 1984
38

Specialisation of Prolog and FCP programs using abstract interpretation

Рік:
1988
Мова:
english
Файл:
PDF, 1.31 MB
english, 1988
39

Guest editors’ preface

Рік:
1990
Мова:
english
Файл:
PDF, 153 KB
english, 1990
40

The languages FCP(:) and FCP(:,?)

Рік:
1990
Мова:
english
Файл:
PDF, 853 KB
english, 1990
41

A layered method for process and code mapping

Рік:
1987
Мова:
english
Файл:
PDF, 987 KB
english, 1987
42

Guest editor’s preface

Рік:
1984
Мова:
english
Файл:
PDF, 229 KB
english, 1984
43

Compiling OR-parallelism into AND-parallelism

Рік:
1987
Мова:
english
Файл:
PDF, 848 KB
english, 1987
44

Multiway merge with constant delay in Concurrent Prolog

Рік:
1986
Мова:
english
Файл:
PDF, 276 KB
english, 1986
46

Abnormal septal motion in patients with postoperative right bundle branch block pattern

Рік:
1979
Мова:
english
Файл:
PDF, 2.65 MB
english, 1979
48

DNA computing: Molecules reach consensus

Рік:
2013
Мова:
english
Файл:
PDF, 705 KB
english, 2013